program verification câu

Câu ví dụ

1. That was the first time I learned about program verification, I guess.
   Là lần đầu tiên biết thế nào là viết kiểm điểm
2. Program verification: To err is human
   Chương trình dịch sách 2 : TO ERR IS HUMAN
3. Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
   Port 0 cũng nhận các byte mã trong khi lập trình cho Flash và xuất các byte mã trong khi kiểm tra chương trình.
4. Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
   Port 0 cũng nhận các byte code (byte mã chương trình) khi lập trình Flash, và xuất ra các byte code khi kiểm tra chương trình.
5. 1 APPROACHES TO SOFTWARE TESTING PROGRAM VERIFICATION AND VALIDATION Validation: Are we building the right product?
   Phân tích yêu cầu phần mềm Verification and Validation Kiểm chứng (Validation) Problem “Chúng ta đã xây dựng đúng hệ thống ?”